support logic programming

支援逻辑程式设计